$\forall$${\it es}$:event\_system\{i:l\}, $i$:Id, $k$:Knd, $L$:(IdLnk List). bframe{-}p(${\it es}$; $i$; $k$; $L$) $\in$ prop\{i:l\}